Mealy-Automaten
Ein Mealy-Automat kann als 7-Tupel
A=(Q,\Sigma , \Omega , \delta, \lambda, q_0, F) definiert werden:
Q ist eine endliche Menge von Zuständen
\Sigma ist das Eingabealphabet
\Omega ist das Ausgabealphabet
\delta ist die Übergangsfunktion \delta : Q\times \Sigma \rightarrow Q
\lambda ist die Ausgabefunktion \lambda : Q\rightarrow \Omega
q_0\in Q
F\subseteq Q
F kann weggelassen werden, wenn keine Sprache untersucht werden soll